課程資訊
課程名稱
離散數學
Discrete Mathematics 
開課學期
100-2 
授課對象
電機工程學系  
授課教師
陳和麟 
課號
EE2008 
課程識別碼
901E21100 
班次
02 
學分
全/半年
半年 
必/選修
必修 
上課時間
星期一7,8(14:20~16:20) 
上課地點
電二102 
備註
本課程以英語授課。
總人數上限:50人 
Ceiba 課程網頁
http://ceiba.ntu.edu.tw/1002discrete_math 
課程簡介影片
 
核心能力關聯
核心能力與課程規劃關聯圖
課程大綱
為確保您我的權利,請尊重智慧財產權及不得非法影印
課程概述

TOPICS
1 Formal Logic
– Propositional Logic
– Predicate Logic
2 Sets, Functions and Relations
– Definitions
– Basic Cryptography
– The Growth of Functions
– Equivalence and Partial Ordering
3 Formal Reasoning Methods
– Methematical Induction
– Methods of Proof
– Program Verification
4 Recurrence Relations
– Linear Recurrence Relations
– Generating Functions
5 Graphs
– Definitions
– Connectivity
– Coloring 

課程目標
本課程主要目的,在於教授資訊科學中重要的數學觀念、模型、以及邏輯思考推論方式,以奠定未來學習資訊科學中各種理論以及實務課程的基礎。
 
課程要求
Homework 20%
Midterm 40%
Final exam 40%
 
預期每週課後學習時數
 
Office Hours
每週四 15:00~17:00 備註: by appointment only 
指定閱讀
 
參考書目
TEXTBOOK: DISCRETE MATHEMATICS AND ITS APPLICATIONS, 6TH EDITION, KENNETH H. ROSEN, MCGRAW-HILL  
評量方式
(僅供參考)
   
課程進度
週次
日期
單元主題